Model checking
Synonyms for "model checking" (9 found)
Ranked by relevance and common usage.
Closest matches (2)
Noun(2 words)
automatic verificationcomputational complexity
Strong matches (3)
Noun(3 words)
formal property verificationformal verificationproperty checking
Related words (4)
Noun(4 words)
scalability bottleneckstate explosionstate-space analysistemporal property verification
Related word relations
OpenGloss and ConceptNet supply richer edges like generalizations, collocations, and derivations.
More general
6 entriesformal methodformal verificationtechnical challengeverificationverification limitationverification technique
More specific
12 entriesabstractionabstraction refinementbounded model checkingcompositional verificationexplicit-state model checkingfairness propertiesliveness propertiespartial order reductionprobabilistic model checkingrealizability propertiessafety propertiessymbolic model checking
Collocations
6 entriesbounded model checkingformal verificationstate explosionstate spacesymbolic model checkingtemporal logic
Inflections
1 entriesmodel checkings
Derivations
2 entriesmodel checkermodel checkers